Nuprl Definition : ma-interface-right
11,40
postcript
pdf
ma-interface-right(
X
) == ma-interface-compose(
x
.invert-union(
x
);
X
)
latex
Definitions
ma-interface-compose(
g
;
X
)
,
x
.
A
(
x
)
,
invert-union(
x
)
FDL editor aliases
ma-interface-right
origin
x.invert-union(x);X) x.invert-union(x);X) x.A(x)